|
|
Mathematical Foundations of Computer Science 2013
by Chatterjee, Krishnendu.
Publication:
. XVI, 854 p. 92 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computer Mathematics
by Carette, Jacques.
Publication:
. XVI, 384 p. 100 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning and Mathematics
by Bonacina, Maria Paola.
Publication:
. XX, 259 p. 27 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Foundations of Computer Science 2012
by Rovan, Branislav.
Publication:
. XV, 825 p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computer Mathematics
by Jeuring, Johan.
Publication:
. XVIII, 473p. 117 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics of Program Construction
by Gibbons, Jeremy.
Publication:
. X, 363p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Teoria degli Automi Finiti
by Luca, Aldo.
Publication:
. XI, 323 pagg.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Computing Systems
by Moller, Faron.
Publication:
. XVI, 500 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics in Computing
by O’Regan, Gerard.
Publication:
. XIX, 285 p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Quaternions for Computer Graphics
by Vince, John.
Publication:
. XIV, 140p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|